exception E   (* E and Bind are distinct exception *)
